Логика формальная

Логика формальная
(logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ — человек; след., Сократ смертен и всякая ложь предосудительна; это — ложь; след., это предосудительно при разл. содержании имеют одну и ту же структуру, к-рая может быть представлена в виде схемы: все А суть В; С есть А; след., С есть В. Л.ф. описывает и объясняет истинность умозаключений при помощи описания и объяснения правильности схемы умозаключения: отд. умозаключение логически корректно лишь при условии, что оно является частным случаем логически правильной схемы умозаключения. Не существует универсальной Л.ф., способной описать все типы верных умозаключений, поскольку число этих типов очень велико. Вместо этого разл. логические системы развивались и классифицировались на основе содержащихся в них логических констант, т.е. соединительных слов, от значения крых зависит правильность сложных высказываний. Напр., пропозициональная Л.ф. оперирует высказываниями, логическая корректность к-рых зависит от слов (логических констант) если, и, или, не и если — и — только — если, а константами предикативной Л.ф., предшественницей к-рой была силлогистика (силлогизм) Аристотеля, являются те же слова плюс слова (кванторы) все и некоторые. Существуют разл. виды Л.ф., описывающие высказывания разных видов, напр., включающие фактор времени (временная Л.ф.), морали (деонтическая Л.ф.), веры (эпистемическая Л.ф.) и возможности модальная логика). Вопрос о том, какие именно слова могут играть роль логических констант, весьма важен в философской логике. Изучение Л.ф. является необходимым условием работы с компьютером, в частности с искусственным интеллектом (дедукция, индукция).


Народы и культуры. Оксфордская иллюстрированная энцкилопедия. — М.: Инфра-М. . 2002.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Логика формальная" в других словарях:

  • ЛОГИКА ФОРМАЛЬНАЯ — – см. Логика.           Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

  • ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания. Antinazi. Энциклопедия… …   Энциклопедия социологии

  • ЛОГИКА, ФОРМАЛЬНАЯ — Логика, основанная на формальных (2) утверждениях, в противоположность логике, основанной на значениях …   Толковый словарь по психологии

  • ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… …   Современный философский словарь

  • логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

  • Логика формальная — изучает формы мысли и их сочетаний безотносительно к их содержанию …   Энциклопедический словарь по психологии и педагогике

  • ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания …   Толковый словарь по социологии

  • Логика формальная — наука, изучающая мыслительные акты понятия, суждения, умозаключения, доказательства со стороны их логической структуры или формы в отвлечении от содержания. Основная задача формальной логики сформулировать законы и принципы, соблюдение которых… …   Теоретические аспекты и основы экологической проблемы: толкователь слов и идеоматических выражений

  • ЛОГИКА ДИАЛЕКТИЧЕСКАЯ —         см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ …   Философская энциклопедия

  • “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” —     “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” понятие и термин, введенные И. Кантом в “Критике чистого разума” для обозначения “науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori” и определяющей… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»